Lessons learned on implementing ECDSA on a Java smart card
نویسنده
چکیده
Many companies have designed and manufactured smart cards, which vary greatly in both the hardware they use and software development environments they provide. Java Card promises to make smart card programming easier, by introducing a common programming language and run–time environment. Also as a member of the Java family, Java Card raises up hopes of easy software portability from PCs to smart cards. Our work demonstrates, that this promise is not fulfilled in the majority of the cases because of different memory models. The portability of code from other JVMs to Java Card is an important issue, which requires, among other things, a systematic method of conserving memory on the card. In our work we developed such an approach by constructing variable interference graphs and graph coloring them to minimize the number of temporary variables. The concrete method is a modified register allocation approach, which has traditionally been used in compiler design. This is followed by numerical performance data of the actual prototype along with the analysis of that data.
منابع مشابه
DECENTRALIZED AUTHORIZATIONWITH ECDSA ON A JAVA SMART CARD A Software Implementation
Traditionally, smart cards have been used as secure tokens in identity based access control. That is, a smart card has been used as an intelligent storage of protected cryptographic information, such as a shared secret or a private key in a public key system. The cryptographic information is then used to prove the possession of the card in a secure way either locally or remotely over telecommun...
متن کاملImplementing a Formally Verifiable Security Protocol in Java Card
This paper describes a case study in refining an abstract security protocol description down to a concrete implementation on a Java Card smart card. The aim is to consider the decisions that have to be made in the development of such an implementation in a systematic way, and to investigate the possibilities of formal specification and verification in the design process and for the final implem...
متن کاملA Signing Message Architecture Development for Smart Card Chip Based on Open Sources
In this paper we present an architecture development to be used in smart card. The architecture is dedicated for digital signature and it is based in the use of the open hard and soft sources. The development of the digital signature is based on the elliptic curve digital signature algorithm (ECDSA) and uses an open source cryptographic library named Miracl. The hardware development of the arch...
متن کاملMitigating Type Confusion on Java Card
One of the challenges for smart card deployment is the security interoperability. A smart card resistant to an attack on a given platform should be able to guarantee the same behavior on another platform. But the current implementations do not comply with this requirement. In order to improve such standardization the authors propose a framework based on annotations with an external pre-processi...
متن کاملImplementing Elliptic Curve Cryptography on Pc and Smart Card
Elliptic Curve Cryptography (ECC) is a relatively new branch of public key cryptography. Its main advantage is that it can provide the same level of security as RSA with significantly shorter keys, which is beneficial for a smart card based implementation. It is also important as a possible alternative of RSA. This paper presents the authors’ research concerning ECC and smart cards. The authors...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000